; ModuleID = 'llvm_expressions/sample3-virt-operand-registers.ll'
source_filename = "llvm_expressions/sample3-virt-operand-registers.ll"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-linux-gnu"

; Function Attrs: norecurse nounwind readnone
define i128 @SECRET(i64 %SymVar_0) local_unnamed_addr #0 {
.3:
  %.4 = trunc i64 %SymVar_0 to i32
  %.25 = add i32 %.4, -680876937
  %.32 = shl i32 %.25, 7
  %.58 = lshr i32 %.25, 25
  %.63 = or i32 %.32, %.58
  %.68 = add i32 %.63, -271733879
  %.82 = and i32 %.68, -271733879
  %.92 = sub i32 271733878, %.63
  %.97 = and i32 %.92, -1732584194
  %.102 = or i32 %.82, %.97
  %.121 = lshr i64 %SymVar_0, 32
  %.122 = trunc i64 %.121 to i32
  %.116 = add i32 %.122, -117830708
  %.143 = add i32 %.116, %.102
  %.150 = shl i32 %.143, 12
  %.191 = lshr i32 %.143, 20
  %.196 = or i32 %.150, %.191
  %.201 = add i32 %.196, %.68
  %.224 = and i32 %.201, %.68
  %.234 = and i32 %.201, -271733879
  %.239 = xor i32 %.234, -271733879
  %.244 = or i32 %.239, %.224
  %.263 = add i32 %.244, -1126478247
  %.270 = shl i32 %.263, 17
  %.297 = lshr i32 %.263, 15
  %.302 = or i32 %.270, %.297
  %.307 = add i32 %.302, %.201
  %.330 = and i32 %.307, %.201
  %.340 = xor i32 %.307, -1
  %.354 = and i32 %.68, %.340
  %.359 = or i32 %.330, %.354
  %.373 = add i32 %.359, -1316259209
  %.385 = shl i32 %.373, 22
  %.412 = lshr i32 %.373, 10
  %.417 = or i32 %.385, %.412
  %.422 = add i32 %.417, %.307
  %.458 = and i32 %.422, %.307
  %.468 = xor i32 %.422, -1
  %.482 = and i32 %.201, %.468
  %.487 = or i32 %.458, %.482
  %.496 = add i32 %.63, -448152776
  %.501 = add i32 %.496, %.487
  %.513 = shl i32 %.501, 7
  %.545 = lshr i32 %.501, 25
  %.550 = or i32 %.513, %.545
  %.555 = add i32 %.550, %.422
  %.591 = and i32 %.555, %.422
  %.601 = xor i32 %.555, -1
  %.615 = and i32 %.307, %.601
  %.620 = or i32 %.591, %.615
  %.629 = add i32 %.201, 1200080426
  %.634 = add i32 %.629, %.620
  %.646 = shl i32 %.634, 12
  %.678 = lshr i32 %.634, 20
  %.683 = or i32 %.646, %.678
  %.688 = add i32 %.683, %.555
  %.724 = and i32 %.688, %.555
  %.734 = xor i32 %.688, -1
  %.748 = and i32 %.422, %.734
  %.753 = or i32 %.724, %.748
  %.762 = add i32 %.307, -1473231341
  %.767 = add i32 %.762, %.753
  %.779 = shl i32 %.767, 17
  %.811 = lshr i32 %.767, 15
  %.816 = or i32 %.779, %.811
  %.821 = add i32 %.816, %.688
  %.857 = and i32 %.821, %.688
  %.867 = xor i32 %.821, -1
  %.881 = and i32 %.555, %.867
  %.886 = or i32 %.857, %.881
  %.895 = add i32 %.422, -45705983
  %.900 = add i32 %.895, %.886
  %.912 = shl i32 %.900, 22
  %.944 = lshr i32 %.900, 10
  %.949 = or i32 %.912, %.944
  %.954 = add i32 %.949, %.821
  %.990 = and i32 %.954, %.821
  %.1000 = xor i32 %.954, -1
  %.1014 = and i32 %.688, %.1000
  %.1019 = or i32 %.990, %.1014
  %.1028 = add i32 %.555, 1770035416
  %.1033 = add i32 %.1028, %.1019
  %.1045 = shl i32 %.1033, 7
  %.1077 = lshr i32 %.1033, 25
  %.1082 = or i32 %.1045, %.1077
  %.1087 = add i32 %.1082, %.954
  %.1123 = and i32 %.1087, %.954
  %.1133 = xor i32 %.1087, -1
  %.1147 = and i32 %.821, %.1133
  %.1152 = or i32 %.1123, %.1147
  %.1161 = add i32 %.688, -1958414417
  %.1166 = add i32 %.1161, %.1152
  %.1178 = shl i32 %.1166, 12
  %.1210 = lshr i32 %.1166, 20
  %.1215 = or i32 %.1178, %.1210
  %.1220 = add i32 %.1215, %.1087
  %.1256 = and i32 %.1220, %.1087
  %.1266 = xor i32 %.1220, -1
  %.1280 = and i32 %.954, %.1266
  %.1285 = or i32 %.1256, %.1280
  %.1294 = add i32 %.821, -42063
  %.1299 = add i32 %.1294, %.1285
  %.1311 = shl i32 %.1299, 17
  %.1343 = lshr i32 %.1299, 15
  %.1348 = or i32 %.1311, %.1343
  %.1353 = add i32 %.1348, %.1220
  %.1389 = and i32 %.1353, %.1220
  %.1399 = xor i32 %.1353, -1
  %.1413 = and i32 %.1087, %.1399
  %.1418 = or i32 %.1389, %.1413
  %.1427 = add i32 %.954, -1990404162
  %.1432 = add i32 %.1427, %.1418
  %.1444 = shl i32 %.1432, 22
  %.1476 = lshr i32 %.1432, 10
  %.1481 = or i32 %.1444, %.1476
  %.1486 = add i32 %.1481, %.1353
  %.1522 = and i32 %.1486, %.1353
  %.1532 = xor i32 %.1486, -1
  %.1546 = and i32 %.1220, %.1532
  %.1551 = or i32 %.1522, %.1546
  %.1560 = add i32 %.1087, 1804603682
  %.1565 = add i32 %.1560, %.1551
  %.1577 = shl i32 %.1565, 7
  %.1609 = lshr i32 %.1565, 25
  %.1614 = or i32 %.1577, %.1609
  %.1619 = add i32 %.1614, %.1486
  %.1655 = and i32 %.1619, %.1486
  %.1665 = xor i32 %.1619, -1
  %.1679 = and i32 %.1353, %.1665
  %.1684 = or i32 %.1655, %.1679
  %.1693 = add i32 %.1220, -40341101
  %.1698 = add i32 %.1693, %.1684
  %.1710 = shl i32 %.1698, 12
  %.1742 = lshr i32 %.1698, 20
  %.1747 = or i32 %.1710, %.1742
  %.1752 = add i32 %.1747, %.1619
  %.1788 = and i32 %.1752, %.1619
  %.1798 = xor i32 %.1752, -1
  %.1812 = and i32 %.1486, %.1798
  %.1817 = or i32 %.1788, %.1812
  %.1826 = add i32 %.1353, -1502002226
  %.1836 = add i32 %.1826, %.1817
  %.1843 = shl i32 %.1836, 17
  %.1875 = lshr i32 %.1836, 15
  %.1880 = or i32 %.1843, %.1875
  %.1885 = add i32 %.1880, %.1752
  %.1921 = and i32 %.1885, %.1752
  %.1931 = xor i32 %.1885, -1
  %.1945 = and i32 %.1619, %.1931
  %.1950 = or i32 %.1921, %.1945
  %.1959 = add i32 %.1486, 1236535329
  %.1964 = add i32 %.1959, %.1950
  %.1976 = shl i32 %.1964, 22
  %.2008 = lshr i32 %.1964, 10
  %.2013 = or i32 %.1976, %.2008
  %.2018 = add i32 %.2013, %.1885
  %.2054 = and i32 %.2018, %.1752
  %.2078 = and i32 %.1885, %.1798
  %.2083 = or i32 %.2054, %.2078
  %.2092 = add i32 %.122, -165796510
  %.2097 = add i32 %.2092, %.1619
  %.2116 = add i32 %.2097, %.2083
  %.2123 = shl i32 %.2116, 5
  %.2169 = lshr i32 %.2116, 27
  %.2174 = or i32 %.2123, %.2169
  %.2179 = add i32 %.2174, %.2018
  %.2215 = and i32 %.2179, %.1885
  %.2239 = and i32 %.2018, %.1931
  %.2244 = or i32 %.2215, %.2239
  %.2253 = add i32 %.1752, -1069501632
  %.2258 = add i32 %.2253, %.2244
  %.2270 = shl i32 %.2258, 9
  %.2302 = lshr i32 %.2258, 23
  %.2307 = or i32 %.2270, %.2302
  %.2312 = add i32 %.2307, %.2179
  %.2348 = and i32 %.2312, %.2018
  %.2358 = xor i32 %.2018, -1
  %.2372 = and i32 %.2179, %.2358
  %.2377 = or i32 %.2348, %.2372
  %.2386 = add i32 %.1885, 643717713
  %.2391 = add i32 %.2386, %.2377
  %.2403 = shl i32 %.2391, 14
  %.2435 = lshr i32 %.2391, 18
  %.2440 = or i32 %.2403, %.2435
  %.2445 = add i32 %.2440, %.2312
  %.2481 = and i32 %.2445, %.2179
  %.2491 = xor i32 %.2179, -1
  %.2505 = and i32 %.2312, %.2491
  %.2510 = or i32 %.2481, %.2505
  %.2519 = add i32 %.4, -373897302
  %.2524 = add i32 %.2519, %.2018
  %.2543 = add i32 %.2524, %.2510
  %.2550 = shl i32 %.2543, 20
  %.2596 = lshr i32 %.2543, 12
  %.2601 = or i32 %.2550, %.2596
  %.2606 = add i32 %.2601, %.2445
  %.2642 = and i32 %.2606, %.2312
  %.2652 = xor i32 %.2312, -1
  %.2666 = and i32 %.2445, %.2652
  %.2671 = or i32 %.2642, %.2666
  %.2680 = add i32 %.2179, -701558691
  %.2685 = add i32 %.2680, %.2671
  %.2697 = shl i32 %.2685, 5
  %.2729 = lshr i32 %.2685, 27
  %.2734 = or i32 %.2697, %.2729
  %.2739 = add i32 %.2734, %.2606
  %.2775 = and i32 %.2739, %.2445
  %.2785 = xor i32 %.2445, -1
  %.2799 = and i32 %.2606, %.2785
  %.2804 = or i32 %.2775, %.2799
  %.2813 = add i32 %.2312, 38016083
  %.2818 = add i32 %.2813, %.2804
  %.2830 = shl i32 %.2818, 9
  %.2862 = lshr i32 %.2818, 23
  %.2867 = or i32 %.2830, %.2862
  %.2872 = add i32 %.2867, %.2739
  %.2908 = and i32 %.2872, %.2606
  %.2918 = xor i32 %.2606, -1
  %.2932 = and i32 %.2739, %.2918
  %.2937 = or i32 %.2908, %.2932
  %.2946 = add i32 %.2445, -660478335
  %.2951 = add i32 %.2946, %.2937
  %.2963 = shl i32 %.2951, 14
  %.2995 = lshr i32 %.2951, 18
  %.3000 = or i32 %.2963, %.2995
  %.3005 = add i32 %.3000, %.2872
  %.3041 = and i32 %.3005, %.2739
  %.3051 = xor i32 %.2739, -1
  %.3065 = and i32 %.2872, %.3051
  %.3070 = or i32 %.3041, %.3065
  %.3079 = add i32 %.2606, -405537848
  %.3084 = add i32 %.3079, %.3070
  %.3096 = shl i32 %.3084, 20
  %.3128 = lshr i32 %.3084, 12
  %.3133 = or i32 %.3096, %.3128
  %.3138 = add i32 %.3133, %.3005
  %.3174 = and i32 %.3138, %.2872
  %.3184 = xor i32 %.2872, -1
  %.3198 = and i32 %.3005, %.3184
  %.3203 = or i32 %.3174, %.3198
  %.3212 = add i32 %.2739, 568446438
  %.3217 = add i32 %.3212, %.3203
  %.3229 = shl i32 %.3217, 5
  %.3261 = lshr i32 %.3217, 27
  %.3266 = or i32 %.3229, %.3261
  %.3271 = add i32 %.3266, %.3138
  %.3307 = and i32 %.3271, %.3005
  %.3317 = xor i32 %.3005, -1
  %.3331 = and i32 %.3138, %.3317
  %.3336 = or i32 %.3307, %.3331
  %.3345 = add i32 %.2872, -1019803626
  %.3355 = add i32 %.3345, %.3336
  %.3362 = shl i32 %.3355, 9
  %.3394 = lshr i32 %.3355, 23
  %.3399 = or i32 %.3362, %.3394
  %.3404 = add i32 %.3399, %.3271
  %.3440 = and i32 %.3404, %.3138
  %.3450 = xor i32 %.3138, -1
  %.3464 = and i32 %.3271, %.3450
  %.3469 = or i32 %.3440, %.3464
  %.3478 = add i32 %.3005, -187363961
  %.3483 = add i32 %.3478, %.3469
  %.3495 = shl i32 %.3483, 14
  %.3527 = lshr i32 %.3483, 18
  %.3532 = or i32 %.3495, %.3527
  %.3537 = add i32 %.3532, %.3404
  %.3573 = and i32 %.3537, %.3271
  %.3583 = xor i32 %.3271, -1
  %.3597 = and i32 %.3404, %.3583
  %.3602 = or i32 %.3573, %.3597
  %.3611 = add i32 %.3138, 1163531501
  %.3616 = add i32 %.3611, %.3602
  %.3628 = shl i32 %.3616, 20
  %.3660 = lshr i32 %.3616, 12
  %.3665 = or i32 %.3628, %.3660
  %.3670 = add i32 %.3665, %.3537
  %.3706 = and i32 %.3670, %.3404
  %.3716 = xor i32 %.3404, -1
  %.3730 = and i32 %.3537, %.3716
  %.3735 = or i32 %.3706, %.3730
  %.3744 = add i32 %.3271, -1444681467
  %.3749 = add i32 %.3744, %.3735
  %.3761 = shl i32 %.3749, 5
  %.3793 = lshr i32 %.3749, 27
  %.3798 = or i32 %.3761, %.3793
  %.3803 = add i32 %.3798, %.3670
  %.3839 = and i32 %.3803, %.3537
  %.3849 = xor i32 %.3537, -1
  %.3863 = and i32 %.3670, %.3849
  %.3868 = or i32 %.3839, %.3863
  %.3877 = add i32 %.3404, -51403656
  %.3887 = add i32 %.3877, %.3868
  %.3894 = shl i32 %.3887, 9
  %.3926 = lshr i32 %.3887, 23
  %.3931 = or i32 %.3894, %.3926
  %.3936 = add i32 %.3931, %.3803
  %.3972 = and i32 %.3936, %.3670
  %.3982 = xor i32 %.3670, -1
  %.3996 = and i32 %.3803, %.3982
  %.4001 = or i32 %.3972, %.3996
  %.4010 = add i32 %.3537, 1735328473
  %.4015 = add i32 %.4010, %.4001
  %.4027 = shl i32 %.4015, 14
  %.4059 = lshr i32 %.4015, 18
  %.4064 = or i32 %.4027, %.4059
  %.4069 = add i32 %.4064, %.3936
  %.4105 = and i32 %.4069, %.3803
  %.4115 = xor i32 %.3803, -1
  %.4129 = and i32 %.3936, %.4115
  %.4134 = or i32 %.4105, %.4129
  %.4143 = add i32 %.3670, -1926607734
  %.4148 = add i32 %.4143, %.4134
  %.4160 = shl i32 %.4148, 20
  %.4192 = lshr i32 %.4148, 12
  %.4197 = or i32 %.4160, %.4192
  %.4202 = add i32 %.4197, %.4069
  %.4238 = xor i32 %.4069, %.3936
  %.4252 = xor i32 %.4238, %.4202
  %.4261 = add i32 %.3803, -378558
  %.4266 = add i32 %.4261, %.4252
  %.4278 = shl i32 %.4266, 4
  %.4310 = lshr i32 %.4266, 28
  %.4315 = or i32 %.4278, %.4310
  %.4320 = add i32 %.4315, %.4202
  %.4356 = xor i32 %.4202, %.4069
  %.4370 = xor i32 %.4356, %.4320
  %.4379 = add i32 %.3936, -2022574463
  %.4384 = add i32 %.4379, %.4370
  %.4396 = shl i32 %.4384, 11
  %.4428 = lshr i32 %.4384, 21
  %.4433 = or i32 %.4396, %.4428
  %.4438 = add i32 %.4433, %.4320
  %.4474 = xor i32 %.4320, %.4202
  %.4488 = xor i32 %.4474, %.4438
  %.4497 = add i32 %.4069, 1839030562
  %.4502 = add i32 %.4497, %.4488
  %.4514 = shl i32 %.4502, 16
  %.4546 = lshr i32 %.4502, 16
  %.4551 = or i32 %.4514, %.4546
  %.4556 = add i32 %.4551, %.4438
  %.4592 = xor i32 %.4438, %.4320
  %.4606 = xor i32 %.4592, %.4556
  %.4615 = add i32 %.4202, -35309492
  %.4625 = add i32 %.4615, %.4606
  %.4632 = shl i32 %.4625, 23
  %.4664 = lshr i32 %.4625, 9
  %.4669 = or i32 %.4632, %.4664
  %.4674 = add i32 %.4669, %.4556
  %.4710 = xor i32 %.4556, %.4438
  %.4724 = xor i32 %.4710, %.4674
  %.4733 = add i32 %.122, -1530992060
  %.4738 = add i32 %.4733, %.4320
  %.4757 = add i32 %.4738, %.4724
  %.4764 = shl i32 %.4757, 4
  %.4810 = lshr i32 %.4757, 28
  %.4815 = or i32 %.4764, %.4810
  %.4820 = add i32 %.4815, %.4674
  %.4856 = xor i32 %.4674, %.4556
  %.4870 = xor i32 %.4856, %.4820
  %.4879 = add i32 %.4438, 1272893353
  %.4884 = add i32 %.4879, %.4870
  %.4896 = shl i32 %.4884, 11
  %.4928 = lshr i32 %.4884, 21
  %.4933 = or i32 %.4896, %.4928
  %.4938 = add i32 %.4933, %.4820
  %.4974 = xor i32 %.4820, %.4674
  %.4988 = xor i32 %.4974, %.4938
  %.4997 = add i32 %.4556, -155497632
  %.5002 = add i32 %.4997, %.4988
  %.5014 = shl i32 %.5002, 16
  %.5046 = lshr i32 %.5002, 16
  %.5051 = or i32 %.5014, %.5046
  %.5056 = add i32 %.5051, %.4938
  %.5092 = xor i32 %.4938, %.4820
  %.5106 = xor i32 %.5092, %.5056
  %.5115 = add i32 %.4674, -1094730640
  %.5120 = add i32 %.5115, %.5106
  %.5132 = shl i32 %.5120, 23
  %.5164 = lshr i32 %.5120, 9
  %.5169 = or i32 %.5132, %.5164
  %.5174 = add i32 %.5169, %.5056
  %.5210 = xor i32 %.5056, %.4938
  %.5224 = xor i32 %.5210, %.5174
  %.5233 = add i32 %.4820, 681279174
  %.5238 = add i32 %.5233, %.5224
  %.5250 = shl i32 %.5238, 4
  %.5282 = lshr i32 %.5238, 28
  %.5287 = or i32 %.5250, %.5282
  %.5292 = add i32 %.5287, %.5174
  %.5328 = xor i32 %.5174, %.5056
  %.5342 = xor i32 %.5328, %.5292
  %.5351 = add i32 %.4, -358537222
  %.5356 = add i32 %.5351, %.4938
  %.5375 = add i32 %.5356, %.5342
  %.5382 = shl i32 %.5375, 11
  %.5428 = lshr i32 %.5375, 21
  %.5433 = or i32 %.5382, %.5428
  %.5438 = add i32 %.5433, %.5292
  %.5474 = xor i32 %.5292, %.5174
  %.5488 = xor i32 %.5474, %.5438
  %.5497 = add i32 %.5056, -722521979
  %.5502 = add i32 %.5497, %.5488
  %.5514 = shl i32 %.5502, 16
  %.5546 = lshr i32 %.5502, 16
  %.5551 = or i32 %.5514, %.5546
  %.5556 = add i32 %.5551, %.5438
  %.5592 = xor i32 %.5438, %.5292
  %.5606 = xor i32 %.5592, %.5556
  %.5615 = add i32 %.5174, 76029189
  %.5620 = add i32 %.5615, %.5606
  %.5632 = shl i32 %.5620, 23
  %.5664 = lshr i32 %.5620, 9
  %.5669 = or i32 %.5632, %.5664
  %.5674 = add i32 %.5669, %.5556
  %.5710 = xor i32 %.5556, %.5438
  %.5724 = xor i32 %.5710, %.5674
  %.5733 = add i32 %.5292, -640364487
  %.5738 = add i32 %.5733, %.5724
  %.5750 = shl i32 %.5738, 4
  %.5782 = lshr i32 %.5738, 28
  %.5787 = or i32 %.5750, %.5782
  %.5792 = add i32 %.5787, %.5674
  %.5828 = xor i32 %.5674, %.5556
  %.5842 = xor i32 %.5828, %.5792
  %.5851 = add i32 %.5438, -421815835
  %.5856 = add i32 %.5851, %.5842
  %.5868 = shl i32 %.5856, 11
  %.5900 = lshr i32 %.5856, 21
  %.5905 = or i32 %.5868, %.5900
  %.5910 = add i32 %.5905, %.5792
  %.5946 = xor i32 %.5792, %.5674
  %.5960 = xor i32 %.5946, %.5910
  %.5969 = add i32 %.5556, 530742520
  %.5974 = add i32 %.5969, %.5960
  %.5986 = shl i32 %.5974, 16
  %.6018 = lshr i32 %.5974, 16
  %.6023 = or i32 %.5986, %.6018
  %.6028 = add i32 %.6023, %.5910
  %.6064 = xor i32 %.5910, %.5792
  %.6078 = xor i32 %.6064, %.6028
  %.6087 = add i32 %.5674, -995338523
  %.6097 = add i32 %.6087, %.6078
  %.6104 = shl i32 %.6097, 23
  %.6136 = lshr i32 %.6097, 9
  %.6141 = or i32 %.6104, %.6136
  %.6146 = add i32 %.6141, %.6028
  %.6191 = xor i32 %.5910, -1
  %.6196 = or i32 %.6146, %.6191
  %.6201 = xor i32 %.6196, %.6028
  %.6210 = add i32 %.4, -198630844
  %.6215 = add i32 %.6210, %.5792
  %.6234 = add i32 %.6215, %.6201
  %.6241 = shl i32 %.6234, 6
  %.6287 = lshr i32 %.6234, 26
  %.6292 = or i32 %.6241, %.6287
  %.6297 = add i32 %.6292, %.6146
  %.6342 = xor i32 %.6028, -1
  %.6347 = or i32 %.6297, %.6342
  %.6352 = xor i32 %.6347, %.6146
  %.6361 = add i32 %.5910, 1126891415
  %.6366 = add i32 %.6361, %.6352
  %.6378 = shl i32 %.6366, 10
  %.6410 = lshr i32 %.6366, 22
  %.6415 = or i32 %.6378, %.6410
  %.6420 = add i32 %.6415, %.6297
  %.6465 = xor i32 %.6146, -1
  %.6470 = or i32 %.6420, %.6465
  %.6475 = xor i32 %.6470, %.6297
  %.6484 = add i32 %.6028, -1416354841
  %.6494 = add i32 %.6484, %.6475
  %.6501 = shl i32 %.6494, 15
  %.6533 = lshr i32 %.6494, 17
  %.6538 = or i32 %.6501, %.6533
  %.6543 = add i32 %.6538, %.6420
  %.6588 = xor i32 %.6297, -1
  %.6593 = or i32 %.6543, %.6588
  %.6598 = xor i32 %.6593, %.6420
  %.6607 = add i32 %.6146, -57434055
  %.6612 = add i32 %.6607, %.6598
  %.6624 = shl i32 %.6612, 21
  %.6656 = lshr i32 %.6612, 11
  %.6661 = or i32 %.6624, %.6656
  %.6666 = add i32 %.6661, %.6543
  %.6711 = xor i32 %.6420, -1
  %.6716 = or i32 %.6666, %.6711
  %.6721 = xor i32 %.6716, %.6543
  %.6730 = add i32 %.6297, 1700485571
  %.6735 = add i32 %.6730, %.6721
  %.6747 = shl i32 %.6735, 6
  %.6779 = lshr i32 %.6735, 26
  %.6784 = or i32 %.6747, %.6779
  %.6789 = add i32 %.6784, %.6666
  %.6834 = xor i32 %.6543, -1
  %.6839 = or i32 %.6789, %.6834
  %.6844 = xor i32 %.6839, %.6666
  %.6853 = add i32 %.6420, -1894986606
  %.6858 = add i32 %.6853, %.6844
  %.6870 = shl i32 %.6858, 10
  %.6902 = lshr i32 %.6858, 22
  %.6907 = or i32 %.6870, %.6902
  %.6912 = add i32 %.6907, %.6789
  %.6957 = xor i32 %.6666, -1
  %.6962 = or i32 %.6912, %.6957
  %.6967 = xor i32 %.6962, %.6789
  %.6976 = add i32 %.6543, -1051523
  %.6981 = add i32 %.6976, %.6967
  %.6993 = shl i32 %.6981, 15
  %.7025 = lshr i32 %.6981, 17
  %.7030 = or i32 %.6993, %.7025
  %.7035 = add i32 %.7030, %.6912
  %.7080 = xor i32 %.6789, -1
  %.7085 = or i32 %.7035, %.7080
  %.7090 = xor i32 %.7085, %.6912
  %.7099 = add i32 %.122, -2054922799
  %.7104 = add i32 %.7099, %.6666
  %.7123 = add i32 %.7104, %.7090
  %.7130 = shl i32 %.7123, 21
  %.7176 = lshr i32 %.7123, 11
  %.7181 = or i32 %.7130, %.7176
  %.7186 = add i32 %.7181, %.7035
  %.7231 = xor i32 %.6912, -1
  %.7236 = or i32 %.7186, %.7231
  %.7241 = xor i32 %.7236, %.7035
  %.7250 = add i32 %.6789, 1873313359
  %.7255 = add i32 %.7250, %.7241
  %.7267 = shl i32 %.7255, 6
  %.7299 = lshr i32 %.7255, 26
  %.7304 = or i32 %.7267, %.7299
  %.7309 = add i32 %.7304, %.7186
  %.7354 = xor i32 %.7035, -1
  %.7359 = or i32 %.7309, %.7354
  %.7364 = xor i32 %.7359, %.7186
  %.7373 = add i32 %.6912, -30611744
  %.7378 = add i32 %.7373, %.7364
  %.7390 = shl i32 %.7378, 10
  %.7422 = lshr i32 %.7378, 22
  %.7427 = or i32 %.7390, %.7422
  %.7432 = add i32 %.7427, %.7309
  %.7477 = xor i32 %.7186, -1
  %.7482 = or i32 %.7432, %.7477
  %.7487 = xor i32 %.7482, %.7309
  %.7496 = add i32 %.7035, -1560198380
  %.7501 = add i32 %.7496, %.7487
  %.7513 = shl i32 %.7501, 15
  %.7545 = lshr i32 %.7501, 17
  %.7550 = or i32 %.7513, %.7545
  %.7555 = add i32 %.7550, %.7432
  %.7600 = xor i32 %.7309, -1
  %.7605 = or i32 %.7555, %.7600
  %.7610 = xor i32 %.7605, %.7432
  %.7619 = add i32 %.7186, 1309151649
  %.7624 = add i32 %.7619, %.7610
  %.7636 = shl i32 %.7624, 21
  %.7668 = lshr i32 %.7624, 11
  %.7673 = or i32 %.7636, %.7668
  %.7678 = add i32 %.7673, %.7555
  %.7723 = xor i32 %.7432, -1
  %.7728 = or i32 %.7678, %.7723
  %.7733 = xor i32 %.7728, %.7555
  %.7742 = add i32 %.7309, -145523070
  %.7747 = add i32 %.7742, %.7733
  %.7759 = shl i32 %.7747, 6
  %.7791 = lshr i32 %.7747, 26
  %.7796 = or i32 %.7759, %.7791
  %.7801 = add i32 %.7796, %.7678
  %.7846 = xor i32 %.7555, -1
  %.7851 = or i32 %.7801, %.7846
  %.7856 = xor i32 %.7851, %.7678
  %.7865 = add i32 %.7432, -1120210379
  %.7870 = add i32 %.7865, %.7856
  %.7882 = shl i32 %.7870, 10
  %.7914 = lshr i32 %.7870, 22
  %.7919 = or i32 %.7882, %.7914
  %.7924 = add i32 %.7919, %.7801
  %.7941 = add i32 %.7924, 271733878
  %.7946 = lshr i32 %.7941, 24
  %.7956 = zext i32 %.7946 to i128
  %.7958 = lshr i32 %.7941, 16
  %.7965.mask = and i32 %.7958, 255
  %.7966 = zext i32 %.7965.mask to i128
  %.7967 = shl nuw nsw i128 %.7966, 8
  %.7970 = lshr i32 %.7941, 8
  %.7977.mask = and i32 %.7970, 255
  %.7978 = zext i32 %.7977.mask to i128
  %.7979 = shl nuw nsw i128 %.7978, 16
  %.7990.mask = and i32 %.7941, 255
  %.7991 = zext i32 %.7990.mask to i128
  %.7992 = shl nuw nsw i128 %.7991, 24
  %.8035 = xor i32 %.7678, -1
  %.8040 = or i32 %.7924, %.8035
  %.8045 = xor i32 %.8040, %.7801
  %.8054 = add i32 %.7555, 718787387
  %.8064 = add i32 %.8054, %.8045
  %.8071 = shl i32 %.8064, 15
  %.8103 = lshr i32 %.8064, 17
  %.8108 = or i32 %.8071, %.8103
  %.8113 = add i32 %.8108, %.7924
  %.8126 = add i32 %.8113, -1732584194
  %.8131 = lshr i32 %.8126, 24
  %.8141 = zext i32 %.8131 to i128
  %.8142 = shl nuw nsw i128 %.8141, 32
  %.8145 = lshr i32 %.8126, 16
  %.8152.mask = and i32 %.8145, 255
  %.8153 = zext i32 %.8152.mask to i128
  %.8154 = shl nuw nsw i128 %.8153, 40
  %.8157 = lshr i32 %.8126, 8
  %.8164.mask = and i32 %.8157, 255
  %.8165 = zext i32 %.8164.mask to i128
  %.8166 = shl nuw nsw i128 %.8165, 48
  %.8177.mask = and i32 %.8126, 255
  %.8178 = zext i32 %.8177.mask to i128
  %.8179 = shl nuw nsw i128 %.8178, 56
  %.8218 = xor i32 %.7801, -1
  %.8223 = or i32 %.8113, %.8218
  %.8228 = xor i32 %.8223, %.7924
  %.8237 = add i32 %.7678, -343485551
  %.8242 = add i32 %.8237, %.8228
  %.8254 = shl i32 %.8242, 21
  %.8286 = lshr i32 %.8242, 11
  %.8291 = or i32 %.8254, %.8286
  %.8296 = add i32 %.8113, -271733879
  %.8305 = add i32 %.8296, %.8291
  %.8310 = lshr i32 %.8305, 24
  %.8320 = zext i32 %.8310 to i128
  %.8321 = shl nuw nsw i128 %.8320, 64
  %.8324 = lshr i32 %.8305, 16
  %.8331.mask = and i32 %.8324, 255
  %.8332 = zext i32 %.8331.mask to i128
  %.8333 = shl nuw nsw i128 %.8332, 72
  %.8336 = lshr i32 %.8305, 8
  %.8343.mask = and i32 %.8336, 255
  %.8344 = zext i32 %.8343.mask to i128
  %.8345 = shl nuw nsw i128 %.8344, 80
  %.8356.mask = and i32 %.8305, 255
  %.8357 = zext i32 %.8356.mask to i128
  %.8358 = shl nuw nsw i128 %.8357, 88
  %.8373 = add i32 %.7801, 1732584193
  %.8378 = lshr i32 %.8373, 24
  %.8388 = zext i32 %.8378 to i128
  %.8389 = shl nuw nsw i128 %.8388, 96
  %.8392 = lshr i32 %.8373, 16
  %.8399.mask = and i32 %.8392, 255
  %.8400 = zext i32 %.8399.mask to i128
  %.8401 = shl nuw nsw i128 %.8400, 104
  %.8404 = lshr i32 %.8373, 8
  %.8411.mask = and i32 %.8404, 255
  %.8412 = zext i32 %.8411.mask to i128
  %.8413 = shl nuw nsw i128 %.8412, 112
  %.8425 = zext i32 %.8373 to i128
  %.8426 = shl i128 %.8425, 120
  %.7968 = or i128 %.8389, %.8426
  %.7980 = or i128 %.7968, %.8401
  %.7993 = or i128 %.7980, %.8413
  %.8143 = or i128 %.7993, %.7956
  %.8155 = or i128 %.8143, %.7992
  %.8167 = or i128 %.8155, %.7967
  %.8180 = or i128 %.8167, %.7979
  %.8322 = or i128 %.8180, %.8142
  %.8334 = or i128 %.8322, %.8179
  %.8346 = or i128 %.8334, %.8154
  %.8359 = or i128 %.8346, %.8166
  %.8390 = or i128 %.8359, %.8321
  %.8402 = or i128 %.8390, %.8358
  %.8414 = or i128 %.8402, %.8333
  %.8427 = or i128 %.8414, %.8345
  ret i128 %.8427
}

attributes #0 = { norecurse nounwind readnone }
